Formal proof - PDFSEARCH.IO - Document Search Engine

Formal proof
Results: 365

#	Item
121	Productive use of failure in formal methods Yuhui Lin CIAO/Automatheowww.inf.ed.ac.uk Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:44 Mathematical logic Mathematical proof Formal methods Theorem OPOS Logic Mathematics Knowledge
122	Languages and states (another view of “Why”) Cliff Jones Newcastle University Menu Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:35 Proof theory Formal systems Computational complexity theory Theorems Mathematical proof Conjecture Proof Logic Mathematics Mathematical logic
123	The use of AI to support top-down formal system development Gudmund Grov University of Edinburgh, UK Joint work with: Alan Bundy, Andrew Ireland, Cliff Jones, Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:44 Abstraction Mathematical logic Mathematical proof Knowledge
124	Andrius Velykis School of Computing Science Newcastle University, UK with contributions from AI4FM members AI meets Formal Software Development Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:35 Proof assistant Theorem prover Isabelle Theorem Mathematical proof Logic Mathematics Automated theorem proving
125	Intelligent Support for Systems Verification Werner Stephan, Lassaad Cheikhrouhou, Bruno Langenstein German Research Centre for Artificial Intelligence April 29, 2011 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:15 Knowledge Mathematical proof Heuristic Formal specification Logic Automated theorem proving Formal methods Mathematics Problem solving
126	Formalism: pitfalls and overcoming them (with AI?) Cliff Jones Newcastle University My background Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:35 Mathematical logic Formal methods Form Philosophy of mathematics Technical communication Formalism Dependability Mathematical proof Reification Quality Mathematics Knowledge
127	SubregulationForm 535 Corporations Act 2001 FEA Carbon Pty Limited (Receivers and Managers Appointed) (Administrators Appointed) ACN (“the Company”) FORMAL PROOF OF DEBT OR CLAIM (GENERAL FORM) Add to Reading List Source URL: www.kordamentha.com.au Language: English - Date: 2012-12-18 01:50:09 Finance Business Ethics Credit Debt Receivership Bankruptcy Financial economics Insolvency
128	Proof Certification in Zenon Modulo: When Achilles Uses Deduction Modulo to Outrun the Tortoise with Shorter Steps∗ David Delahaye1 , Damien Doligez2 , Frédéric Gilbert2 , Pierre Halmagrand1 and Olivier Hermant3 1 Add to Reading List Source URL: bware.lri.fr Language: English - Date: 2014-09-27 11:16:51 Logical syntax Logic in computer science Proof theory Mathematical logic Mathematical proof Theorem Formal proof Automated reasoning Logic Mathematics Automated theorem proving
129	Learning from Expert’s proof Leo Freitas, Newcastle University UV10 @ MSR Redmond, 16th Nov. 2010 The project Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:44 Formal languages Formal systems Logical truth Theoretical computer science Mathematical logic Mathematical proof ACL2 Formal proof Proof Logic Mathematics Proof theory
130	1 The Phenomenology of Mathematical Beauty Gian-Carlo Rota Whereas painters and musicians are likely to be embarrassed by references Add to Reading List Source URL: www.liceogiuliocesare.it Language: English - Date: 2014-01-27 11:21:12 Philosophy of mathematics Formal systems Elementary mathematics Mathematical beauty Mathematical proof Theorem Mathematician Axiomatic system Axiom Mathematics Logic Mathematical logic

UPDATE